منابع مشابه
Sheaf Recursion and a Separation Theorem
Define a second order tree to be a map between trees (with fixed codomain). We show that many properties of ordinary trees have analogs for second order trees. In particular we show that there is a notion of “definition by recursion on a well-founded second order tree” which generalizes “definition by transfinite recursion”. We then use this new notion of definition by recursion to prove an ana...
متن کاملA Separation Theorem for Chain Event Graphs
Bayesian Networks (BNs) are popular graphical models for the representation of statistical problems embodying dependence relationships between a number of variables. Much of this popularity is due to the d-separation theorem of Pearl and Lauritzen, which allows an analyst to identify the conditional independence statements that a model of the problem embodies using only the topology of the grap...
متن کاملA Transfer Theorem for the Separation Problem
We investigate two problems for a class C of regular word languages. The C-membership problem asks for an algorithm to decide whether an input language belongs to C. The C-separation problem asks for an algorithm that, given as input two regular languages, decides whether there exists a third language in C containing the first language, while being disjoint from the second. These problems are c...
متن کاملA new separation theorem with geometric applications
Let G = (V (G), E(G)) be an undirected graph with a measure function μ assigning non-negative values to subgraphs H so that μ(H) does not exceed the clique cover number of H. When μ satisfies some additional natural conditions, we study the problem of separating G into two subgraphs, each with a measure of at most 2μ(G)/3 by removing a set of vertices that can be covered with a small number of ...
متن کاملA separation theorem in property testing
Consider the following seemingly rhetorical question: Is it crucial for a property-tester to know the error parameter 2 in advance? Previous papers dealing with various testing problems, suggest that the answer may be no, as in these papers there was no loss of generality in assuming that 2 is given as part of the input, and is not known in advance. Our main result in this paper, however, is th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the American Mathematical Society
سال: 1933
ISSN: 0002-9904
DOI: 10.1090/s0002-9904-1933-05662-8